-
1 logical proof
Большой англо-русский и русско-английский словарь > logical proof
-
2 logical proof
Математика: логическое доказательство -
3 logical proof
mantıksal ispat -
4 logical proof
-
5 logical proof
The New English-Russian Dictionary of Radio-electronics > logical proof
-
6 logical proof
-
7 logical proof
Англо-русский словарь по исследованиям и ноу-хау > logical proof
-
8 logical proof
mantıksal ispat -
9 proof
1) доказательство; обоснование; подтверждение2) полигр. корректура, пробный оттиск4) проверка; испытание; проба || проверять; испытывать; опробовать5) безопасный; защищённый6) обеспечивать непроницаемость; герметизировать•proof against — устойчивый к воздействию (какого-л. фактора)
proof by contradiction — мат. доказательство от противного
proof by induction — мат. доказательство по индукции
proof by matrices — мат. доказательство с помощью матриц
proof in outline — набросок [схема] доказательства;
this completes the proof — это завершает доказательство; на этом доказательство заканчивается
- strong proofto give a proof — матем. дать доказательство
-
10 proof
1) доказательство || являющийся доказательством; доказывающий2) математическая или арифметическая проверка3) проверка; контроль || проверенный; прошедший контроль4) испытания || испытанный; выдержавший испытания5) корректураб) пробный оттиск; гранка6) читать корректуру с целью исправления (орфографических) ошибок, проф. держать корректуру8) подвергать обработке с целью повышения устойчивости к внешним воздействиям (напр. влагостойкости)•- proof by enumeration
- proof by exhaustion
- proof by induction
- proof by reduction to absurdity
- abstract proof
- color proof
- deductive proof
- digital proof
- digital color proof
- direct proof
- direct digital color proof
- exact proof
- experimental proof
- galley proof
- heuristic proof
- indirect proof
- logical proof
- mathematical proof
- theoretical proof
- zero-knowledge proof -
11 proof
1) доказательство || являющийся доказательством; доказывающий3) проверка; контроль || проверенный; прошедший контроль4) испытания || испытанный; выдержавший испытания5) корректураб) пробный оттиск; гранка6) читать корректуру с целью исправления (орфографических) ошибок, проф. держать корректуру8) подвергать обработке с целью повышения устойчивости к внешним воздействиям (напр. влагостойкости)•- color proof
- deductive proof
- digital color proof
- digital proof
- direct digital color proof
- direct proof
- exact proof
- experimental proof
- galley proof
- heuristic proof
- indirect proof
- logical proof
- mathematical proof
- proof by contradiction
- proof by enumeration
- proof by exhaustion
- proof by induction
- proof by reduction to absurdity
- theoretical proof
- zero-knowledge proofThe New English-Russian Dictionary of Radio-electronics > proof
-
12 logical equipment table
conversion table — таблица пересчета; таблица преобразования
English-Russian big medical dictionary > logical equipment table
-
13 mantıksal ispat
logical proof -
14 логическое доказательство
logical demonstration мат., logical evidence, logical proofРусско-английский научно-технический словарь Масловского > логическое доказательство
-
15 логическое доказательство
logical evidence, logical proofРусско-английский словарь по электронике > логическое доказательство
-
16 логическое доказательство
logical evidence, logical proofРусско-английский словарь по радиоэлектронике > логическое доказательство
-
17 логическое доказательство
Большой англо-русский и русско-английский словарь > логическое доказательство
-
18 логическое доказательство
Mathematics: logical demonstration, logical evidence, logical proofУниверсальный русско-английский словарь > логическое доказательство
-
19 हेतुः _hētuḥ
हेतुः [हि-तुन् Uṇ.1.73]1 Cause, reason, object, mo- tive; इति हेतुस्तदुद्भवे K. P.1; Māl.1.23; R.1.1; नीचैराख्यं गिरिमधिवसेस्तत्र विश्रामहेतोः Me.25; Ś.3.12.-2 Source, origin; स पिता पितरस्तासां केवलं जन्महेतवः R.1.24 'authors of their being'.-3 A means or instrument.-4 The logical reason, the reason for an inference, middle term (forming the second member of the five- membered syllogism).-5 Logic, science of reasoning.-6 Any logical proof or argument.-7 A rhetorical reason (regarded by some writers as a figure of speech); it is thus defined:-- हेताहतुमता सार्धमभेदो हेतुरुच्यते.-8 (In gram.) The agent of the causal verb; P.I.4.55.-9 (with Buddhists) Primary cause.-1 (with Pāśu- patas) The external world and senses (that cause the bondage of the soul).-11 Mode, manner.-12 Condi- tion.-13 Price, cost; दीन्नाराणां दशशती पञ्चाशदधिकाभवत् । धान्यखारीक्रये हेतुर्देशे दुर्भिक्षविक्षते Rāj. T.5.71. (N. B. The forms हेतुना, हेतोः, rarely हेतौ, are used adverbially in the sense of 'by reason of', 'on account of', 'because of', with gen. or in comp.; तमसा बहुरूपेण वेष्टिताः कर्महेतुना Ms. 1.49; शास्त्रविज्ञानहेतुना; अल्पस्य हेतोर्बहु हातुमिच्छन् R.2.47; विस्मृतं कस्य हेतोः Mu.1.1. &c.).-Comp. -अपदेशः ad- ducing the hetu (in the form of the five-membered syl- logism).-अवधारणम् (in dram.) reasoning.-आक्षेप (in Rhet.) an objection accompanied with reasons; न स्तूयसे नरेन्द्र त्वं ददासीति कदाचन । स्वमेव मत्वा गृह्णन्ति यतस्त्वद्धन- मर्थिनः ॥ इत्येवमादिराक्षेपो हेत्वाक्षेप इति स्मृतः । Kāv.2.167-168.-आभासः 'the semblance of a reason', a fallacious middle term, fallacy; (it is of five kinds:-- सव्यभिचार or अनैकान्तिक, विरुद्ध, असिद्ध, सत्प्रतिपक्ष and बाधित).-उत्प्रेक्षा, -उपमा a simile accompanied with reasons.-उपक्षेपः, -उपन्यासः adducing a reason, statement of an argu- ment.-कर्तृ m. the causal subject; याजयेदिति हेतुकर्तु रेवैतत् प्रत्यक्षं वचनम्, लक्षणया यजेः कर्तुः ŚB. on MS.1.8.39.-दुष्ट a. unreasonable.-दृष्टिः scepticism.-बलिक a. strong in argument.-युक्त a. well-founded.-रूपकम् a meta- phor accompanied with reasons.-वादः 1 disputation, controversy.-2 fraud (कपट); न हेतुवादाल्लोभाद्वा धर्मं जह्यां कथंचन Mb.5.91.24.-3 assigning a cause (sceptically); न यक्ष्यन्ति न होष्यन्ति हेतुवादविमोहिताः Mb.3.19.26.-वादिन् 1 a disputant.-2 a sceptic.-विशेषोक्तिः a mention of difference accompanied with reasons; एकचक्रो रथो यन्ता विकलो विषमा हयाः । आक्रामत्येव तेजस्वी तथाप्यर्को नभस्तलम् ॥ सैषा हेतुविशेषोक्तिस्तेजस्वीति विशेषणात् ॥ Kāv.2.328-329.-शास्त्रम् a logically-treated work, any beretical work questioning the authority of Smṛitis or revelation; यो$वमन्येत ते मूले हेतुशास्त्राश्रयाद् द्विजः Ms.2.11.-हेतुमत् m. du. cause and effect. ˚भावः the relation existing between cause and effect. -
20 Ш-18
НА КАЖДОМ ШАГУ PrepP Invar adv used with impfv verbs fixed WOconstantly and/or everywhereat every step (turn)(in limited contexts) all around ( s.o.) all over the place.На каждом шагу встречаю доброжелателей, которые предупреждают. Вам надо смотреть в оба, вы должны бороться (Войнович 1). At every step I was meeting well-wishers who forewarned me. "You have to keep your eyes open, you should put up a fight" (1a).Они тебе лгут на каждом шагу, а от тебя требуют безусловной правдивости (Зиновьев 1). They lie to you at every turn, but from you They demand unconditional truth (1a).Удивительно, как это так наука до сих пор не открыла и не доказала вполне научно и логично - переселение душ. А примеры - на каждом шагу (Терц 2). It is amazing that science has not yet discovered and given a complete logical proof of the transmigration of souls. Yet there are examples all around us (2a).Мы проедали деньги (, полученные за плакаты,) в кофейнях и кондитерских. Они открывались на каждом шагу... (Мандельштам 2). We spent it (the money we got for our posters) in the coffeehouses and pastry shops which were being opened all over the place... (2a).(context translation) Я был избавлен от необходимости собирать справки о личности Иванько, сведения о нём сыпались на меня на каждом шагу (Войнович 1). I was spared the necessity of gathering information on Ivanko-reports on him rained down on me (1a).
См. также в других словарях:
logical proof — noun proof of a logical theorem • Hypernyms: ↑proof … Useful english dictionary
Logical positivism — (also known as logical empiricism, scientific philosophy, and neo positivism) is a philosophy that combines empiricism the idea that observational evidence is indispensable for knowledge with a version of rationalism incorporating mathematical… … Wikipedia
Logical truth — is one of the most fundamental concepts in logic, and there are different theories on its nature. A logical truth is a statement which is true and remains true under all reinterpretations of its components other than its logical constants. It is… … Wikipedia
Proof-theoretic semantics — is an approach to the semantics of logic that attempts to locate the meaning of propositions and logical connectives not in terms of interpretations, as in Tarskian approaches to semantics, but in the role that the proposition or logical… … Wikipedia
Proof theory — is a branch of mathematical logic that represents proofs as formal mathematical objects, facilitating their analysis by mathematical techniques. Proofs are typically presented as inductively defined data structures such as plain lists, boxed… … Wikipedia
Proof by assertion — is a logical fallacy in which a proposition is repeatedly restated regardless of contradiction. Sometimes this may be repeated until challenges dry up, at which point it is asserted as fact due to its not being contradicted (argumentum ad… … Wikipedia
Proof by example — (also known as inappropriate generalisation ) is a logical fallacy whereby one or more examples are claimed as proof for a more general statement.This fallacy has the following argument form::I know that x in X has the property P.:Therefore, all… … Wikipedia
Logical harmony — Logical harmony, a name coined by Sir Michael Dummett, is a supposed constraint on the rules of inference that can be used in a given logical system.The logician Gerhard Gentzen proposed that the meanings of logical connectives could be given by… … Wikipedia
Proof — may refer to: * A rigorous, compelling argument ** Formal proof ** Mathematical proof ** Proof theory, a branch of mathematical logic that represents proofs as formal mathematical objects ** Logical argument ** Evidence (law), tested evidence or… … Wikipedia
Proof by verbosity — is a term used to describe an excessively verbose mathematical proof that may or may not actually prove the result. Such proofs are most often presented by students who don t fully grasp the concepts they are writing about. Students presenting… … Wikipedia
Logical connective — This article is about connectives in classical logic. For connectors in natural languages, see discourse connective. For connectives and operators in other logics, see logical constant. For other logical symbols, see table of logic symbols. In… … Wikipedia